#include<stdio.h>
int main()
{
	int year, month, date;
	scanf("%d%*c%d%*c%d",&year,&month,&date);
	printf("%d %d %d ",year,month,date);




	return 0;
}